#include <math.h>
#include <stdio.h>

float mysqrt (float x) {
  fprintf(stdout, "Hello mysqrt\n");
  return sqrt(x);
}
